101. Functional and logic programming :
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Functional programming (Computer science) ; Congresses. ;
102. Functional and logic programming
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Functional programming (Computer science) ; Congresses. ; Logic programming ; Congresses. ;
103. Functional and logic programming
پدیدآورنده : Matthias Blume, Naoki Kobayashi, German Vidal. (eds.)
کتابخانه: Central Library and Information Center of Shahed University (Tehran)
موضوع : Functional programming (Computer science), Congresses,Logic programming, Congresses
رده :
QA
،
76
.
62
،.
F84
،
2010
104. Functional and logic programming
پدیدآورنده : / Matthias Blume, Naoki Kobayashi, German Vidal (eds.
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Functional programming (Computer science), Congresses,Logic programming, Congresses
رده :
QA76
.
62
.
F56
2010
105. Functional and logic programming
پدیدآورنده : Tom Schrijvers, Peter Thiemann (eds.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Functional programming (Computer science), Congresses,Logic programming, Congresses
رده :
QA76
.
62
.
F85
2011eb
106. Functional and logic programming : 4th Fuji International Symposium, FLOPS'99, Tsukuba, Japan, November 11-13, 1999 : proceedings
پدیدآورنده : Aart Middeldorp, Taisuke Sato )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Functional programming )Computer science(,Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
1722
107. Functional and logic programming : 6th International Symposium, FLOPS 2002, Aizu, Japan, September 15-17, 2002 : proceedings
پدیدآورنده : Zhenjiang Hu, Mario Rodriguez-Artalejo )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Functional programming )Computer science(,Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
2441
108. Functional and logic programming : 5th International Symposium, FLOPS 2001, Tokyo, Japan, March 7-9, 2001 : proceedings
پدیدآورنده : Herbert Kuchen, Kazunori Ueda )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Functional programming )Computer science(,Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
2024
109. Functional and logic programming : 7th international symposium, FLOPS 2004, Nara, Japan, April 7-9, 2004 : proceedings
پدیدآورنده : Yukiyoshi Kameyama, Peter J. Stuckey )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Functional programming )Computer science(,Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
2998
110. Functional and logic programming: 5th international symposium, FLOPS 2001, Tokyo, Japan, March 7-9, 2001: proceedings
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : Congresses ، Functional programming )Computer science(,Congresses ، Logic programming
رده :
QA
76
.
62
.
F84
2001
111. Fundamental research in electrical engineering :
پدیدآورنده : Shahram Montaser Kouhsari, editor.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Electrical engineering, Congresses.,Electronics, Congresses.,Telecommunication, Congresses.,Electrical engineering.,Electronics.,TECHNOLOGY & ENGINEERING-- Mechanical.,Telecommunication.
رده :
TK7801
112. Fuzzy Logic :
پدیدآورنده : W Leinfellner
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Fuzzy sets -- Congresses.,Fuzzy systems -- Congresses.
113. Fuzzy Sets Theory and Applications
پدیدآورنده : edited by André Jones, Arnold Kaufmann, Hans-Jürgen Zimmermann.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Decision making -- Congresses.,Fuzzy sets -- Congresses.,Problem solving -- Congresses.
114. Fuzzy logic and applications :
پدیدآورنده : Robert Fullér, Silvio Giove, Francesco Masulli (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Fuzzy logic, Congresses.,Fuzzy logic.
رده :
QA9
.
64
115. Generalized quantifiers and computation
پدیدآورنده : Jouko Väänänen (ed.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer logic, Congresses.,Computer science-- Mathematics, Congresses.,Programming languages (Electronic computers), Congresses.
116. Genetic programming :
پدیدآورنده : Mauro Castelli, Lukas Sekanina, Mengjie Zhang, Stefano Cagnoni, Pablo García-Sánchez (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Genetic programming (Computer science), Congresses.,Algorithms & data structures.,Artificial intelligence.,Computers-- Database Management-- Data Mining.,Computers-- Information Theory.,Computers-- Intelligence (AI) & Semantics.,Computers-- Logic Design.,Computers-- Programming-- Algorithms.,Data mining.,Genetic programming (Computer science)
رده :
QA76
.
623
117. Graph-theoretic concepts in computer science :
پدیدآورنده : Andreas Brandstädt, Ekkehard Köhler, Klaus Meer (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science-- Mathematics, Congresses.,Graph theory-- Data processing, Congresses.,Algorithm Analysis and Problem Complexity.,Arithmetic and Logic Structures.,Computer Graphics.,Data Structures.,Discrete Mathematics in Computer Science.,Algorithms & data structures.,Computer science-- Mathematics.,Computers-- Computer Graphics.,Computers-- Data Modeling & Design.,Computers-- Data Processing.,Computers-- Logic Design.,Computers-- Programming-- Algorithms.,Discrete mathematics.,Graph theory-- Data processing.,Graphics programming.
رده :
QA166
118. Graphical models for security :
پدیدآورنده : George Cybenko, David Pym, Barbara Fila (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer networks-- Security measures, Congresses.,Computer security-- Graphic methods, Congresses.,Computer networks-- Security measures.
رده :
QA76
.
9
.
A25
119. Implementation and application of functional language
پدیدآورنده : / Jurriaan Hage, Marco T. Morazaan (eds
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Functional programming languages, Congresses,Computer science,Software engineering,Logic design,Logics and Meanings of Programs,Programming Languages, Compilers, Interpreters,Mathematical Logic and Formal Languages,Programming Techniques,Electronic books
رده :
QA76
.
62
.
I58
2010
120. Implementation and application of functional languages :
پدیدآورنده : Jurriaan Hage, Marco T. Morazán (eds)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Functional programming languages, Congresses,Functional programming languages-- Congresses
رده :
QA76
.
62
.
I58
2010
